Synchronisme musical et musiques mixtes : du temps écrit au temps produit

Les temps du document et la recherche d'information

This article presents a survey of the interactions between information retrieval and temporal aspects of documents. First the time evoked by the discourse and the historic situation time of the documents themselves are distinguished. The universe of discourse time should be taken into account in the indexation step of information retrieval. It can be processed by named entities extraction and m...

Au temps en emporte le C

Le (bon) séquencement des événements au fil du temps est un sujet important pour l’analyse de programmes, par exemple dans le cadre de protocoles d’échange d’information ou de systèmes embarqués. De nombreux travaux s’appuient sur la logique temporelle linéaire (LTL) pour décrire formellement le comportement attendu d’un programme, sous la forme d’une succession d’actions distinctes. Implanté a...

Modeling musical anticipation: From the time of music to the music of time. (Modélisation de l'anticipation musicale: Du temps de la musique vers la musique du temps)

xvii Résumé en français xix

L'Analyse Logique Des Temps Du Passe En Francais: Comment on peut appliquer la distinction entre nom de matiere et nom comptable aux temps du verbe

Dans cet expose j'aimerais prouver qu'il y a des rapports tr~s ~troits entre la s~mantique nominale et la s~mantique verbale. J'essaierai d'appliquer la distinction entre nom comptable (angl. count noun) et nom de mati~re (angl. mass noun) au domaine du verbe. En particulier il sera d~montr~ qu'un verbe (ou syntagme verbal) ~ l'imparfait d~note une entit~ du mSme type que celle d~not~e par un n...

Logique du temps arborescent pour la spécification et la preuve de programmes